r-ary predicate

[计]r位谓词